201. Java frameworks and components :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Application software-- Development.,Java (Computer program language),Anwendungssoftware,Application software-- Development.,Computer Science.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Engineering & Applied Sciences.,Java,Java (Computer program language),Softwareentwicklung

رده :
QA76
.
73
.
J38
N355
2003eb

202. Job scheduling strategies for parallel processing :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer capacity-- Management, Congresses.,Computer scheduling, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture & logic design.,Computer capacity-- Management.,Computer scheduling.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Parallel processing (Electronic computers),Software Engineering.,Systems analysis & design.

رده :
QA76
.
58

203. KI-98:

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence -- Congresses.,Artificial intelligence.,Künstliche Intelligenz

204. LATINCRYPT 2017-Progress in Cryptology

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Data encryption (Computer science). ; Software engineering. ; Computer science. ; Logic design. ; Coding theory. ; Cryptology. ;

205. Language and Automata Theory and Applications :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer software.,Logic design.

206. Learning and Coordination :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Mechanical engineering.

رده :
QA76
.
87
B978
1994

207. Leveraging applications of formal methods, verification and validation :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.

رده :
QA76
.
9
.
F67

208. Logic, Algebra, and Computation :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :
QA76
.
63
E358
1991

209. Logic-Based Program Synthesis and Transformation

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.

210. Logic and Algebra of Specification

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer Communication Networks.,Computer science.,Logic design.

رده :
QA76
.
9
.
M35
E358
1993

211. Logic and Program Semantics

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering

212. Make a shield from wisdom :

پدیدآورنده:

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

213. Mathematical Foundations of Computer Science 1986 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer software.,Logic design.

رده :
QA267
.
E358
1986

214. Mathematical Foundations of Computer Science 1989 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer software.,Logic design.

رده :
QA76
.
9
.
M35
E358
1989

215. Mathematical Methods in Program Development

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :
QA76
.
6
E358
1997

216. Microservices patterns :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Service-oriented architecture (Computer science),Software architecture.,Software patterns.,Service-oriented architecture (Computer science),Software architecture.,Software patterns.

217. Microsoft Visual Basic Programs to Accompany Programming Logic and Design

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

218. Model Checking Software :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :
QA76
.
76
.
V47
E358
2013

219. Modeling Design Objects and Processes

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Physics.,Software engineering.

رده :
TA345
.
E358
1991

220. Models, algebras and logic of engineering software

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design

رده :
TA
345
.
N28
2002